type a = ..

type a
